Nuprl Definition : exists
11,40
postcript
pdf
x
:
A
.
B
(
x
) ==
x
:
A
B
(
x
)
latex
Definitions
x
:
A
.
B
(
x
)
FDL editor aliases
exists
origin
x:A. B(x) == x:A 
B(x) x:A. B(x) == x:A B(x) x:A. B(x)